Achievements in Engineering
نویسندگان
چکیده
منابع مشابه
Challenges and Achievements in Software Engineering (CHASE)
Software engineering environments have a history of about two decades. Early environments provided support for small fragments of the software process (usually focusing on programming-in-the small). Then there was a trend towards support for more complete software processes (from early phases like requirements analysis and design down to testing and configuration management). Ten years ago the ...
متن کاملAustralian Earthquake Engineering: Achievements, Challenges and Obstacles
The Australian Earthquake Engineering Society was established in 1990 with its main objective to promote and advance the practice of earthquake engineering and engineering seismology in Australia. In the decade or so since its establishment the Society has had some successes in this regard as well as some disappointments. In this paper, the author will highlight these along with research and ot...
متن کاملKeynote Address Achievements and Challenges in Asphalt Pavement Engineering
This series of international conferences has facilitated the development of mechanistic methods for the design and structural evaluation of asphalt pavements over the past 35 years. While the record is one of real achievement, stimulated by initiatives such as the U.S. Strategic Highway Research Program, there are still problems to solve and challenges to face including that of implementing the...
متن کاملDependability-Explicit Engineering with Event-B: Overview of Recent Achievements
Event-B has been actively used within the EU Deploy project to model dependable systems from various application domains. As a result, we have created a number of formal approaches to explicitly reason about dependability in the refinement process. In this paper we overview the work on formal engineering of dependable systems carried out in the Deploy project. We outline our approaches to integ...
متن کاملFormal Engineering of Resilient Systems: Achievements and Challenges
In this paper we overview the work on formal engineering of resilient systems carried out in the FP7 EU Deploy project. We discuss our experience and open issues. Keywords-resilience; formal modelling; Event-B
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1891
ISSN: 0028-0836,1476-4687
DOI: 10.1038/044147a0